Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
841	‘Knowledge’ ascriptions, social roles and semantics Robin McKenna University of Edinburgh [removed] Penultimate draft. Final version published in Episteme 10 (4): [removed]Abstract The idea that the Add to Reading List Source URL: robinmckenna.weebly.com Language: English - Date: 2015-01-14 04:02:43 Justification Branches of philosophy Contextualism Metatheory Relativism Skepticism Relevant alternatives theory Virtue epistemology Logic Philosophy Epistemology Knowledge
842	Richard Kilvington and the Theory of Obligations* Stephen Read Abstract Kretzmann and Spade were led by Richard Kilvington’s proposed revisions to the rules of obligations in his discussion of the 47th sophism in his S Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2015-02-27 13:20:41 Knowledge Richard Kilvington Year of birth uncertain Walter Burley Medieval philosophy Sophismata William of Sherwood Counterfactual conditional Inference Philosophy Logic Western culture
843	Intelligent Ship Control System A. Łebkowski, R. Śmierzchalski, W. Gierusz & K. Dziedzicki Gdynia Maritime University, Gdynia, Poland ABSTRACT: The article present intelligent control system of ship motion in situation Add to Reading List Source URL: transnav2007.am.gdynia.pl Language: English - Date: 2010-03-14 05:12:49 Control theory Cybernetics Fuzzy control system Ship Fuzzy logic Logic Science Control engineering
844	Mechanical Verification of SAT Refutations with Extended Resolution Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt Jr. ⋆ The University of Texas at Austin Abstract. We present a mechanically-verified proof che Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-07-31 07:11:51 Logic Unit propagation Resolution Conjunctive normal form Clause Literal ACL2 Logic programming First-order logic Theoretical computer science Mathematical logic Automated theorem proving
845	3 Semantics for Sentential Logic 1 Truth-functions Now that we know how to recover the sentential logical form of an English argument from the argument itself, the next step is to develop a technique for testing argumen Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2001-01-26 18:45:41 Abstract algebra Logical connectives Boolean algebra Binary operations Semantics Truth table Logical biconditional Material conditional Negation Logic Propositional calculus Mathematical logic
846	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Constructible universe Set theory Transfinite induction Proof theory Ordinal arithmetic Symbol Mathematical logic Mathematics Ordinal numbers
847	Monism: the One True Logic Stephen Read Abstract Logical pluralism is the claim that different accounts of validity can be equally correct. Beall and Restall have recently defended this position. Validity is a matter of Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2015-01-18 12:43:40 Philosophical logic Paraconsistent logic Modal logic Philosophy of mathematics Graham Priest Impossible world Relevance logic Intuitionistic logic Classical logic Logic Mathematical logic Non-classical logic
848	Intelligent VTS W. Filipowicz Gdynia Maritime University, Poland ABSTRACT: In this paper the author depicts new approach involving fuzziness in navigational situation assessment. Nowadays operator at maritime traffic mon Add to Reading List Source URL: transnav2007.am.gdynia.pl Language: English - Date: 2010-03-14 05:12:48 Data fusion Sensor fusion Fuzzy set Defuzzification Vessel traffic service Logic Fuzzy logic Mathematical logic
849	Blocked Clause Decomposition Marijn J. H. Heule? and Armin Biere?? The University of Texas at Austin and Johannes Kepler University Linz Abstract. We demonstrate that it is fairly easy to decompose any propositional form Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 14:11:30 Automated theorem proving Propositional calculus Boolean algebra Mathematical logic Logic in computer science Conjunctive normal form Boolean satisfiability problem Resolution Unit propagation Theoretical computer science Mathematics Logic
850	The Consistency of the Naive(?) Theory of Properties Hartry Field∗ New York University June 11, 2003 Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Symbol Proof theory Valuation Orbifold Natural deduction Mathematics Abstract algebra Mathematical logic

UPDATE